A Collection about Erotic Folklore

Proofs about a Folklore Let - Polymorphic TypeInference

The Hindley/Milner let-polymorphic type inference system has two diierent algorithms: one is the de facto standard Algorithm W that is bottom-up (or context-insensitive), and the other is a \folklore" algorithm that is top-down (or context-sensitive). Because the latter algorithm has not been formally presented with its soundness and completeness proofs, and its relation with the W algorithm ha...

Theoretical Pearl: A simple proof of a folklore theorem about delimited control

We formalize and prove the folklore theorem that the static delimited-control operators shift and reset can be simulated in terms of the dynamic delimited-control operators control and prompt. The proof is based on small-step operational semantics.

A history of erotic philosophy.

This essay historically explores philosophical views about the nature and significance of human sexuality, starting with the Ancient Greeks and ending with late 20th-century Western philosophy. Important figures from the history of philosophy (and theology) discussed include Sappho, Plato, Aristotle, St. Augustine, St. Jerome, the Pelagians, St. Thomas Aquinas, Michel de Montaigne, Rene Descart...

Folklore, Folklorism, and Synchronization: Preserved-Created Folklore in Israel

Implementing digital folklore collections

In this paper, we present a metadata model to describe the digitized digital folklore collection of the Department of Greek Studies in the University of Athens. Folklore collection consists of different kinds of digitized material. The volume and the variety of material results to collection representation as a hierarchical structure, according to the type of objects, the corresponding chronolo...